package KnowledgeBase;
/*
 * this class contains the axioms, methods, and operators
 */
public class KnowledgeBase {

	public KnowledgeBase(Axioms a, Operators o, Methods m){
		
	}
}
